Expressing Special Structures in an Algebraic Modeling Language for Mathematical Programming

Customized Block Structures in Algebraic Modeling Languages: the Stochastic

Extracting complex block structures from an anonymous mathematical program is a difficult task. It is however a mandatory step to exploit them with adequate algorithmic techniques. Moreover, most economic models are usually built with an Algebraic Modeling Language (AML) which loose any structure. The recently developed concept SET (Structure Exploiting Tool) responds to these needs. This appro...

Towards Pedagogability of Mathematical Music Theory: Algebraic Models and Tiling Problems in computer-aided composition

The paper aims at clarifying the pedagogical relevance of an algebraic-oriented perspective in the foundation of a structural and formalized approach in contemporary computational musicology. After briefly discussing the historical emergence of the concept of algebraic structure in systematic musicology, we present some pedagogical aspects of our MathTools environment within OpenMusic graphical...

Algebraic Matching of Vulnerabilities in a Low-Level Code

This paper explores the algebraic matching approach for detection of vulnerabilities in binary codes. The algebraic programming system is used for implementing this method. It is anticipated that models of vulnerabilities and programs to be verified are presented as behavior algebra and action language specifications. The methods of algebraic matching are based on rewriting rules and techniques...

Efficient Management of Multiple Sets to Extract Complex Structures from Mathematical Programs

Most of the applied models written with an algebraic modeling language involve simultaneously several dimensions such as materials, location, time or uncertainty. The information about dimensions available in the algebraic formulation is usually su cient to retrieve di erent block structures from mathematical programs. These structured problems can then be solved by adequate solution techniques...

Symbolic-Algebraic Computations in Modeling Language for Mathematical Programming